Commentary: A Tour Through the Files
نویسندگان
چکیده
منابع مشابه
A guided tour through TYPELAB
This report gives a survey of TYPELAB, a specification and verification environment that integrates interactive proof development and automated proof search. TYPELAB is based on a constructive type theory, the Calculus of Constructions, which can be understood as a combination of a typed λ-calculus and an expressive higher-order logic. Distinctive features of the type system are dependent funct...
متن کاملA Guided Tour through the Data Mining
An important success factor for the eld of KDD lies in the development and integration of methods for supporting the construction and execution of KDD processes. Crucial aspects in this context are the (incre-mental) development of a precise problem description, a decomposition of this top level problem description into manageable and compatible subtasks which can be reused, and a selection and...
متن کاملA Tour Through Cedar, 1984
This paper t l introduces the reader to many of the salient features of the Cedar Programming Environment, a state-of-the-art programming system that combines in a single integrated environment: high quality graphics, a sophisticated editor and document preparation facility, and a variety o f tools for the programmer to use in the construction and debugging o f his programs. The Cedar Programmi...
متن کاملA Tour Through the Portable C Compiler
Most earlier portable compilers, including Snyder’s, have proceeded by defining an intermediate language, perhaps based on three-address code or code for a stack machine, and writing a machine independent program to translate from the source code to this intermediate code. The intermediate code is then read by a second pass, and interpreted or compiled. This approach is elegant, and has a numbe...
متن کاملIntroduction: A Guided Tour through the Book
This chapter gives an overview of the content of the book. We follow the chapters in the sequence in which they appear, summarize key fi ndings and theoretical arguments, and clarify the relationships between the chapters. Along the way, we explain some basic issues of overarching importance. The book is divided into two parts: “ Theory and Experiment ” and “ Background and Methods. ” The fi rs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Biotechnology
سال: 1987
ISSN: 1087-0156,1546-1696
DOI: 10.1038/nbt0687-534